| 11X1 T07 02 triangle theorems (2013) - Nigel Simmons Building some more theorems Keywords: triangle theorems Downloads: 15 |

| 11X1 T07 01 angle theorems (2013) - Nigel Simmons Initial definitions & notations and the angle theorems Keywords: angle theorems Downloads: 9 |

| The Fundamental Theorems Of The Differential Calculus No.11 - W.H.Young Sc.D.,F.R.S.
Keywords: Fundamental Theorems Downloads: 1,513 | |

| 11X1 T07 05 tangent theorems 1 - Nigel Simmons We begin with an assumption and from there we build some more theorems Keywords: geometry; tangent theorems Downloads: 876 |

| 11X1 T13 02 angle theorems 1 (2013) - Nigel Simmons The first of our angle theorems Keywords: circle geometry; angle theorems Downloads: 3 |

| 11X1 T07 03 angle theorems 2 - Nigel Simmons The second part of angle theorems Keywords: geometry; angle theorems Downloads: 337 |

| 11X1 T07 02 angle theorems 1 - Nigel Simmons The first look at some angle theorems Keywords: geometry; ange theorems Downloads: 215 |

| 11X1 T13 03 angle theorems 2 (2013) - Nigel Simmons Adding a couple of angle theorems to the list Keywords: angle theorems; circle geometry Downloads: 6 |

| 11X1 T07 06 tangent theorems 2 - Nigel Simmons the alternate segment theorem Keywords: geometry; tangent theorems Downloads: 230 |

| 11X1 T06 02 triangle theorems - Nigel Simmons Geometry theorems involving triangles Keywords: geometry; triangle theorems Downloads: 220 |

| 11X1 T07 01 angle theorems (2010) - Nigel Simmons Introducing the initial angle therems used in Euclidean proofs Keywords: geometry; angle theorems Downloads: 211 |

| 11X1 T07 02 triangle theorems (2010) - Nigel Simmons Deriving the triangle and polygon theorems. Keywords: geometry; triangle theorems Downloads: 130 |

| 11X1 T07 04 converse theorems - Nigel Simmons Using theorems in reverse Keywords: geometry; converse theorems Downloads: 179 |

| 11X1 T06 01 angle theorems - Nigel Simmons Introduction to Euclidean geometry starting with some terminology and some inital theorems Keywords: geometry; angle theorems Downloads: 204 |

| Two theorems on matrices (Volume 66B) - Newman, Morris Journal of Research of the National Bureau of Standards Keywords: Matrices; two theorems Downloads: 38 | |

| 11X1 T07 01 definitions & chord theorems - Nigel Simmons Introduction to circle geometry and some initial theorems Keywords: circle geometry; chord theorems Downloads: 1,080 |

| Some limit theorems for weighted sums of random variables - Adler, André Bruce http://uf.catalog.fcla.edu/uf.jsp?st=UF000947199&ix=nu&I=0&V=D Keywords: Limit theorems (Probability theory Downloads: 117 | |

| An optimal control formulation of the Blaschke-Lebesgue theorem - Ghandehari, Mostafa. Cover title Keywords: THEOREMS; PLANE GEOMETRY Downloads: 64 | |

| Selected bibliography of statistical literature, 1930 to 1957: limit theorems (Volume 64B) - Deming, Lola S. Journal of Research of the National Bureau of Standards Keywords: Bibliography; limit theorems Downloads: 117 | |

| 11X1 T13 05 tangent theorems 1 (2010) - Nigel Simmons Discovering the relationship between tangents and circles. Keywords: tangent theorems; circles; euclidean geometry Downloads: 206 |

| 11X1 T13 01 definitions & chord theorems (2010) - Nigel Simmons The basic definitions of circke properties and introducing some chord (arc) theorems. Keywords: euclidean geometry; circle; chord theorems Downloads: 341 |

| 11X1 T13 03 angle theorems 2 (2010) - Nigel Simmons Continuing with more angle theorems. Keywords: angle theorems; euclidean geometry; circles Downloads: 160 |

| 11X1 T13 04 converse theorems (2010) - Nigel Simmons Using the circle theorems in reverse to prove points re concyclic. Keywords: euclidean geometry; circles; converse theorems Downloads: 186 |

| 11X1 T13 02 angle theorems 1 (2010) - Nigel Simmons Looking at the initial angle theorems. Keywords: circles; angle theorems; euclidean geometry Downloads: 158 |

| A note on the non-existence of multivalue A-stable methods of order greater than two (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 569) - Gear, C. William (Charles William), 1935- Bibliography: leaf 3 Keywords: Differential equations, Linear; Existence theorems Downloads: 43 | |

| EFRUZHU ESSENCEHU 7 NEW THEOREMS LAST VERSİ ON - PHİLOSOPHER EFRUZHU "PHİLOSOPHER EFRUZHU ORİGİNAL ALL OF THE WORLD THE FİRST TİME DECLARATİON "A. " ALİMHU AHADHU UNİVERSAL SYSTEM 33 THEORİES AND LAWS " NORTH CYPRUSB. "EFRUZHU HABİRHU GLOBAL PHİLOSOPHİCAL 33 HYPOTHESES AND LEGİSLATİONS "C. "ALLAMHU ALEMHU ĞAYBİ,EFRUZHU SCİENTİFİC 33 PREVİSİONS AND POİNTERS "D. "NEW METAPOSİHU GLOBAL UNİVERSAL TOTAL SCİENCE 33 METAPOSİHU AND UNİQUENESSE... Keywords: PHİLOSOPHER EFRUZHU 7 NEW THEOREMS NCY. TCY Downloads: 1 |

| EFRUZHU Sİ NGLE 1 MULTİ PLE Sİ NGLE 1 UNİ VERSE NORTH CYPRUS TURKİ SH CYPRİ OT ( 28.11.2014 14 52) 2 - PHİLOSOPHER EFRUZHU "PHİLOSOPHER EFRUZHU ORİGİNAL ALL OF THE WORLD THE FİRST TİME DECLARATİON "A. " ALİMHU AHADHU UNİVERSAL SYSTEM 33 THEORİES AND LAWS " NORTH CYPRUSB. "EFRUZHU HABİRHU GLOBAL PHİLOSOPHİCAL 33 HYPOTHESES AND LEGİSLATİONS "C. "ALLAMHU ALEMHU ĞAYBİ,EFRUZHU SCİENTİFİC 33 PREVİSİONS AND POİNTERS "E. "EFRUZHU ANTİCANCER DRUG HU NORTH CYPRUSPHİLOSOPHER EFRUZHU FOCUSHU 7 NEW SCİENCES1.NEW SCİENCE "METAPOSİHUOLOGY" NCY... Keywords: PHİLOSOPHER EFRUZHU FOURPODİA THEOREMS NCY. TCY Downloads: 1 |

| Comparison theorems for symmetric functions of characteristic roots (Volume 65B) - Marcus, Marvin Journal of Research of the National Bureau of Standards Keywords: Characteristic roots; comparison theorems; symmetric functions Downloads: 26 | |

| Continuity of a derivative defined by the law of the mean - Huffer, Charles M. (Charles Morse), 1894- Thesis (M.A.)--University of Illinois, 1917 Keywords: Mean value theorems (Calculus); Fractional calculus; Theses Downloads: 26 | |

| Simulation of a Flywheel Electrical System for Aerospace Applications - Truong, Long V. A Flywheel Energy Storage Demonstration Project was initiated at the NASA Glenn Research Center as a possible replacement for the battery energy storage system on the International Space Station (ISS). While the hardware fabrication work was being performed at a university and contractor's facility, the related simulation activity was begun at Glenn. At the top level, Glenn researchers simulated the operation of the ISS primary electrical system (as described in another paper) with the Flywheel ... Keywords: THEOREMS; QUANTUM MECHANICS; THEOREM PROVING; SPIN DECOUPLING Downloads: 162 | |

| Low-Subsonic-Speed Static Longitudinal Stability and Control Characteristics of a Winged Reentry-Vehicle Configuration Having Wingtip Panels that Fold up for High-Drag Reentry - Ware, George M An investigation of the low-subsonic-speed static longitudinal stability and control characteristics of a model of a manned reentry-vehicle configuration capable of high-drag reentry and glide landing has been a made in the Langley free-flight tunnel. The model had a modified 63 deg delta plan-form wing with a fuselage on the upper surface. This configuration had wingtip panels designed to fold up 90 deg for the high-drag reentry phase of the flight and to extend horizontally for the glide landi... Keywords: EXOSPHERE; DENSITY DISTRIBUTION; OPIK THEORY; DEPTH; THEOREMS Downloads: 102 | |

| Energetics of Oxygen Interstitials in Cr and V - Good, Brian S. Dissolved oxygen in group IIIA-VA (Nb, Ti, Zr, Y) based alloys is a fundamental problem, affecting both mechanical properties and oxidation resistance, yet details of the phenomenon are poorly understood. In these alloys, oxygen is more stable dissolved in the metal than as an oxide-compound. In contrast, alloys based on Ni, Fe, Al and Cr exhibit almost no oxygen solubility. To improve the performance of Nb and Ti based alloys it is necessary to understand the differences in oxygen solubility be... Keywords: OPTIMIZATION; ALGORITHMS; THEOREMS; PROBLEM SOLVING; GAMES; INTELLIGENCE Downloads: 129 | |

| Notable Algebraic Topologists and Their Theorems - I. C. Baianu, editor, with several listed contributors A concise, contributed textbook presentation of notable algebraic topologists' biographies, important algebraic topology theorems, with extensive references/bibliography. It also contains numerous illustrations that are explained in the text in a simplified, introductory, but non-trivial manner. A kind of abbreviated `Who's Who' of Modern Algebraic Topology and Topology, as well as Algebraic Geometry and the Theory of Categories... Keywords: Algebraic Topology theorems; algebraic topologists; mainstream mathematics Downloads: 1,439 | |

| Optics - Sir Isaac Newton Sir Isaac Newton Optics Dover Publications Inc. 1952 Acrobat 7 Pdf 16.8 Mb. Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Physics; Opticks; Definitions; Axioms; Propositions; Theorems; Problems Downloads: 1,569 | |

| RESULTS OF REMOTE SOUNDING OF THE ATMOSPHERE AND OCEAN IN THE INFRARED AND MICROWAVE REGIONS ON THE 13TH VOYAGE OF THE SCIENTIFIC RESEARCH VESSEL ''ACADEMICIAN KURCHATOV'' - GORODETSKIY, A. K. THERMAL EMISSION FROM THE SEA SURFACE AND ATMOSPHERE WERE STUDIED IN THE INFRARED AND MICROWAVE REGIONS BY SEMIAUTOMATIC CAMERAS AND PHOTOMETER ABOARD SHIP IN THE NORTH ATLANTIC. THE ROLE OF SEA FOAM IN AFFECTING MICROWAVE EMISSION WAS ALSO EXAMINED. Keywords: FUNCTION SPACE; OPERATORS (MATHEMATICS); THEOREMS; VECTORS (MATHEMATICS); DIFFERENTIAL EQUATIONS; EIGENVALUES Downloads: 51 | |

| COLLISION WITH SODIUM ATOMS IN ONE OF THE TWO 3 P2 STATES - SEIWERT, R ATTEMPTS ARE MADE TO CLARIFY MEASURING DISCREPANCIES IN THE STUDY OF TWO D LINES RADIATED INTO PURE SODIUM VAPOR, A SODIUM VAPOR AIR MIXTURE, AND A SODIUM POTASSIUM VAPOR MIXTURE. RESULTS SHOW THAT THE INTENSITY RATIOS OF THE TWO RESONANCE LINES IN FLUORESCENT LIGHT IS MARKEDLY INFLUENCED BY THE RADIATION DIFFUSION AND THAT THE MEASURED VALUES THEREFORE DEPEND ON THE GEOMETRY OF THE SYSTEM. IF THIS IS TAKEN INTO ACCOUNT, THE APPARENT CONTRADICTION BETWEEN OTHER EXPERIMENTAL STUDIES CAN BE EXPLAI... Keywords: DIFFERENTIAL EQUATIONS; PROBLEM SOLVING; THEOREMS; OPERATORS (MATHEMATICS); VARIABILITY Downloads: 77 | |

| Multivariable Calculus- V10.2 the Divergence Theorem - Denis Auroux Gradient �elds and path-independence: The two-dimensional theory developed for line integrals in the plane generalizes easily to three-space. For the part where no new ideas are involved, we will be brief, just stating the results, and in places sketching the proofs. Keywords: Maths; Analysis and Calculus; Calculus; Integration Theorems; Divergence Theorem; Mathematics Downloads: 13 | |

| NASA/DoD Aerospace Knowledge Diffusion Research Project: Report 42: The Technical Communication Practices of U.S. Aerospace Engineers and Scientists: Results of the Phase 1 Mail Survey -- Aircraft Design Perspective - Pinelli, Thomas E. The U.S. government technical report is a primary means by which the results of federally funded research and development (R&D) are transferred to the U.S. aerospace industry. However, little is known about this information product in terms of its actual use, importance, and value in the transfer of federally funded R&D. To help establish a body of knowledge, the U.S. government technical report is being investigated as part of the NASA/DOD Aerospace Knowledge Diffusion Research Project... Keywords: POLYNOMIALS; DISTANCE; ERROR CORRECTING CODES; MATRICES (MATHEMATICS); THEOREMS; FUNCTION SPACE Downloads: 73 | |

| Existence theorems for optimal problems with vector valued cost function - Olech, C Existence theorems for optimal control problems with vector valued cost function Keywords: EXISTENCE THEOREMS; OPTIMAL CONTROL; THEOREM PROVING; EUCLIDEAN GEOMETRY; VECTOR SPACES Downloads: 101 | |

| Data Processing for NASA's TDRSS DAMA Channel - Long, Christopher C. A concept for the addition of a Demand Assignment Multiple Access (DAMA) service to NASA's current Space Network (SN) is developed. Specifically, the design of a receiver for the DAMA channel is outlined. Also, an outline of the procedures taken to process the received service request is presented. The modifications to the (SN) system are minimal. The post reception processing is accomplished using standard commercial off the shelf (COTS) packages... Keywords: CODING; ALGEBRA; MATRICES (MATHEMATICS); PARITY; LINEAR EQUATIONS; THEOREMS; GEOMETRY Downloads: 122 | |

| Theorems for finite automata - Wright, Reverdy Edmond, 1933- Manuscript copy Keywords: Sequential machine theory; Finite automata, Theorems for; Machine theory Downloads: 222 | |

| A heat loss compensated calorimeter and related theorems (Volume 73C) - Domen, Steve R. Journal of Research of the National Bureau of Standards Keywords: Absorbed dose; calorimeter; heat loss compensation; heat flow theorems Downloads: 57 | |

| Electronics for Technician Engineers - W.W. Smith W.W. Smith Electronics for Technician Engineers Hutchinson Educational 1970 Acrobat 7 Pdf 12.9 Mb. Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Networks; Theorems; Components; AC; Diode; Triode; Pentode; Pulse; Feedback; Sawtooth Downloads: 1,473 | |

| Divergent Series - G. H. Hardy G. H. Hardy Divergent Series Oxford University Press 1973 Acrobat 7 Pdf 16.8 Mb Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Mathematics; Tauberian Theorems; Euler; Borel; Wiener; Power Series; Maclaurin Downloads: 1,416 | |

| mit :: ai :: aim :: AIM-203a From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-203a Keywords: theorem; theorems; planner; lisp; data; thprog; failure; variable; assigned; assertions; artificial intelligence; theorem prover; data base; erasing theorems; pattern matching; consequent theorem; failure propagates; antecedent theorems; failure backs; gerald jay Downloads: 57 | |

| Elementary Abstract Algebra - Edwin Clark This book is intended for a one semester introduction to absract algebra. Instead of spending a lot of time going over background material, we go directly into the primary subject matter. We discuss proof methods and necessary background as the need arises. Keywords: Maths; Algebra; Groups; Groups; Lagrange and Fermat-Euler�s Theorems; Isomorphism Theorems; Axioms for Groups; Cosets; Lagrange�s Theorem; Quaternions; Mathematics Downloads: 133 | |

| mit :: ai :: aim :: AIM-015 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-015 Keywords: theorem; induction; recursion; reverse; defined; cons; scanning; proof; theorems; prove; recursion induction; scanning agent Downloads: 32 | |

| Unizor: Math 4 Teens - Geometry2D - Elements - Points - Zor Shekhtman A geometrical point is an abstraction, as most other objects of mathematics, like numbers, functions etc. At the same time it has some similarity with the real world, and that similarity is the justification for mathematicians to create a corresponding geometrical object called "a point". It is appropriate to present a definition of a point given by Greek mathematician Euclid of Alexandria, who lived around 300BC: "A point is that which has no parts or magnitude." Keywords: Unizor; Math; Math4Teens; Geometry; Planimetry; Elements; Points; Axioms; Theorems; Euclid Downloads: 32 | |

| ASCA Observation of an ''X-Ray Shadow'' in the Galactic Plane - Park, Sangwook The diffuse X-ray background (DXB) emission near the Galactic plane (l,b approximately 25.6 degrees, 0.78 degrees) has been observed with ASCA (Advanced Satellite for Cosmology and Astrophysics). The observed region is toward a Galactic molecular cloud which was recently reported to cast a deep X-ray shadow in the 0.5 - 2.0 keV band DXB. The selection of this particular region is intended to provide a constraint on the spatial distribution of the DXB emission along the line of sight: i.e., the m... Keywords: TEMPORAL LOGIC; ALGORITHMS; EFFICIENCY; LOGIC PROGRAMMING; REFLECTION; THEOREMS; INFINITY; SOFTWARE DEVELOPMENT TOOLS Downloads: 18 | |

| Introduction to Probability and Statistics- Multinomial Coefficients, Union of Events - Dmitry Panchenko Multinomial Coe_cients: These values are used to split objects into groups of various sizes. s1, s2, ..., sn - n elements such that n1 in group 1, n2 in group 2, ..., nk in group k. n1 + ... + nk = n ... Keywords: Maths; Statistics and Probability; Probability; Statistics; Definitions and Theorems; Union and Intersection of Events; Mathematics Downloads: 12 | |